Special issue “Development of researches on rock-water interaction and Professor Naotatsu Shikazono” Preface
نویسندگان
چکیده
منابع مشابه
Preface of the Special Issue
To prove the correctness of a program is to demonstrate, through impeccable mathematical techniques, that it has no bugs; to test a program is to run it with the expectation of discovering bugs. The two techniques seem contradictory: if you have proved correctness of your program, it is fruitless to comb it for bugs; and if you are testing it, that is surely a sign that you have given up any ho...
متن کاملPreface SPECIAL ISSUE ON BRAIN NEURO-MECHANICS
In July 2010, the Centre for Mathematical Medicine organized the first interdisciplinary workshop on Brain Neuro-Mechanics, under the patronage of the Fields Institute. The focus of the workshop was on recent discoveries in fundamental brain science that could play an important role in improved medical diagnoses, treatment strategies and clinical protocols. The workshop brought together experts...
متن کاملPreface for the special issue on domains
• Users may freely distribute the URL that is used to identify this publication. • Users may download and/or print one copy of the publication from the University of Birmingham research portal for the purpose of private study or non-commercial research. • User may use extracts from the document in line with the concept of ‘fair dealing’ under the Copyright, Designs and Patents Act 1988 (?) • Us...
متن کاملSpecial issue on “Qualitative Spatial Reasoning” Preface
In contemporary parlance, qualitative reasoning can be regarded as reasoning about physical systems by exploring their structural properties. Qualitative spatial reasoning, in particular, aims to express non– numerical relationships among spatial objects based on relations such as “in contact with” and “part of”. Its roots include the region-based theories of space of de Laguna [1] and Whitehea...
متن کاملPreface: Introduction to Special Issue
Demands for flexibility, greater variety of products, and advanced production processes complicate the logistics and planning of manufacturing systems; this also increases the number of alternatives that should be formalized in a model. The evaluation of all the possible alternatives of the planning problem is often considered an NP-hard combinatorial problem. Practical problems often contain n...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Japanese Magazine of Mineralogical and Petrological Sciences
سال: 2015
ISSN: 1345-630X,1349-7979
DOI: 10.2465/gkk.150901